%\documentclass{acm_proc_article-sp}
%\documentclass{sig-alternate}
%\usepackage{fancyheadings}
%\documentclass[times, 10pt,twocolumn]{article}
\documentclass[10pt, conference, compsocconf]{IEEEtran}
%\usepackage{latex8}

\usepackage{algorithmic}
\usepackage{multirow}
%\usepackage{amssymb, amsmath}
\usepackage{amsmath, amsthm, amssymb}
\usepackage{xspace}
%\usepackage{fancyvrb}
%\usepackage{algpseudocode}
\input{tex/macros.tex}

\usepackage{indentfirst}
\usepackage{listings, algorithm, algorithmic, graphicx, listing}
\usepackage{color}
\usepackage{ulem}
\usepackage{url}
%\usepackage{fancyvrb}

%\newcommand{\nop}[1]{}

\newcommand{\ie}{i.e.}
\newcommand{\eg}{e.g.}
\newcommand{\ea}{et al.\xspace}
\newcommand{\aka}{a.k.a.}

\newcommand{\tool}[1]{#1}
\newcommand{\FailureDoc}{\tool{Failure\-Doc}\xspace}
\newcommand{\SimpleTest}{\upshape{Simple\-Test}\xspace}
\newcommand{\Simplifier}{\upshape{Test\-Simplifier}\xspace}
\newcommand{\TestSimplifier}{\upshape{Test\-Simplifier}\xspace}

% Add line between figure and text
\makeatletter
\def\topfigrule{\kern3\p@ \hrule \kern -3.4\p@} % the \hrule is .4pt high
\def\botfigrule{\kern-3\p@ \hrule \kern 2.6\p@} % the \hrule is .4pt high
\def\dblfigrule{\kern3\p@ \hrule \kern -3.4\p@} % the \hrule is .4pt high
\makeatother \addtolength{\textfloatsep}{-.5\textfloatsep}
\addtolength{\dbltextfloatsep}{-.5\dbltextfloatsep}
\addtolength{\floatsep}{-.5\floatsep}
\addtolength{\dblfloatsep}{-.5\dblfloatsep}

%\newcommand{\CodeIn}[1]{{\small\texttt{#1}}}
\newcommand{\edit}[2]{\sout{#1}{#2}}

%\newcommand{\ie}{i.e.}
%\newcommand{\eg}{e.g.}
%\newcommand{\ea}{et al.\xspace}
%\newcommand{\aka}{a.k.a.}

\newcommand{\testnum}{73\xspace}


\newcommand{\cut}[1]{}
\newcommand{\todo}[1]{{\bfseries [[{#1}]]}}
\newcommand{\sai}[1]{{\color{blue}\todo{Sai: #1}}}
\newcommand{\cheng}[1]{{\color{magenta}\todo{Cheng: #1}}}
\newcommand{\congle}[1]{{\color{green}\todo{Congle: #1}}}
\newcommand{\mike}[1]{{\color{red}\todo{Mike: #1}}}

% Two arguments are: old text, new text
% \newcommand{\edit}[2]{\sout{#1}{#2}}
% For final version, uncomment the following
% \renewcommand{\edit}[2]{#2}

\begin{document}
\normalem

%\title{Simplifying Automatically-generated Tests for Effective Debugging}
\title{Practical Semantic Test Simplification}


%\author{\IEEEauthorblockN{Sai Zhang \quad Michael D. Ernst}
\author{\IEEEauthorblockN{Sai Zhang$^{1}$ \quad Cheng Zhang$^{2}$ \quad Congle Zhang$^{1}$ \quad Michael D. Ernst$^1$}
\IEEEauthorblockA{$^{1}$University of Washington \quad  $^{2}$Shanghai Jiao Tong University\\
\{szhang, clzhang, mernst\}@cs.washington.edu \quad
cheng.zhang.stap@sjtu.edu.cn} }

%\author{Sai Zhang}

\maketitle \sloppy

\input{tex/abstract}

\section{Introduction}
\label{sec:introduction}
\input{tex/introduction}


\section{Formalism}
\label{sec:formal}

\input{tex/formal}

\section{Algorithm}
\label{sec:algorithm}

\input{tex/algorithm}


\section{Evaluation}
\label{sec:evaluation}
\input{tex/experiment}


\section{Related Work}
\label{sec:related}
\input{tex/related}

\section{Conclusion}
\label{sec:conclusion}
\input{tex/conclusion}

\bibliographystyle{plain}
%\scriptsize
\bibliography{simplify}
\end{document}
